<?php
/**
 * Created by PhpStorm.
 * User: leo
 * Date: 2018/5/14
 * Time: 11:15
 */
session_start();
if(isset($_SESSION['admin_num'])){
    unset($_SESSION['admin_num']);
    echo '1';
    exit();
}